Results 341 to 350 of about 3,623,879 (377)

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

IEEE Transactions on Automatic Control, 2017
Ziyue Ma, Yin Tong, Zhiwu Li, A. Giua
semanticscholar   +1 more source

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017
Yanxiang Feng, K. Xing, Zhenxin Gao, Yunchao Wu   +3 more
semanticscholar   +1 more source

Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems

IEEE Transactions on Automatic Control, 2017
Jiliang Luo, Mengchu Zhou
semanticscholar   +1 more source

Modeling and analysis of colored petri net based on the semi-tensor product of matrices

Science China Information Sciences, 2017
Jiantao Zhao, Zengqiang Chen, Zhongxin Liu   +2 more
semanticscholar   +1 more source

Stochastic Petri Nets

1990
Petri Nets provide a means for modeling and graphically representing the possible behavior of systems in which concurrency, serializability, synchronization and resource sharing are important considerations [PETE], [FILM]. They can be used for the understanding and prediction of the behavior of computer systems, communication protocols, biological ...
openaire   +2 more sources

Petri net theory and the modeling of systems

, 1981
J. L. Peterson
semanticscholar   +1 more source

State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions

IEEE Transactions on Automatic Control, 2015
F. Basile, Maria Paola Cabasino, C. Seatzu   +2 more
semanticscholar   +1 more source

Petri Nets

ACM Computing Surveys, 1977
openaire   +3 more sources

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations

IEEE Transactions on Control Systems Technology, 2015
Hesuan Hu, Mengchu Zhou
semanticscholar   +1 more source

From Coloured Petri Nets to Object Petri Nets

1995
This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development.
openaire   +2 more sources