Sage Journals: Discover world-class research

Open access

Research article

First published 2017-9

Performance analysis of reverse auction mechanisms based on Petri nets

Xiaodan Zhang, Zhiwu Li, Yun Huang [...]

Advances in Mechanical Engineering

Retricted access

Research article

First published 2016

Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol

Djamila Boukredera, Ramdane Maamri, Samir Aknine

Web Intelligence

Retricted access

Research article

First published 2012-5

A time stamp reduction method for state space exploration using colored Petri nets

Mercedes E. Narciso, Miquel A. Piera, Antoni Guasch

SIMULATION

Retricted access

Research article

First published 2015-11

A discrete-event modeling approach for the analysis of TCAS-induced collisions with different pilot response times

Jun Tang, Miquel A Piera, Olatunde T Baruwa

Proceedings of the Institution of Mechanical Engineers,Part G: Journal of Aerospace Engineering

Retricted access

Research article

First published 2008-03

Interoperability of Cross-organizational Workflows based on Process-view for Collaborative Product Development

Ping Jiang, Xinyu Shao, Haobo Qiu [...]

Concurrent Engineering

Retricted access

Research article

First published 2022

Methods for Efficient Unfolding of Colored Petri Nets

Alexander Bilgram, Peter G. Jensen, Thomas Pedersen [...]

Fundamenta Informaticae

Open access

Research article

First published 2019-12

Modeling and analysis of carousel-based mixed-model flexible manufacturing system using colored Petri net

Hafiz Zahid Nabi, Tauseef Aized

Advances in Mechanical Engineering

Retricted access

Research article

First published 2022-3

A colored petri net-based modeling method for supply chain inventory management

Maria Drakaki, Panagiotis Tzionas

SIMULATION

Retricted access

Research article

First published 1997-10-1

Enforcing mandatory and discretionary security in workflow management systems *

Vijayalakshmi Atluri, Wei-Kuang Huang

Journal of Computer Security

Retricted access

Research article

First published 2010-5

A Methodology for Solving Logistic Optimization Problems through Simulation

Mercedes Narciso, Miquel A. Piera, Antoni Guasch

SIMULATION

Search results