State equations and equivalent transformations for timed Petri nets

DOI10.1007/BF02667189zbMath0917.68161WikidataQ126227328 ScholiaQ126227328MaRDI QIDQ1280882

A. I. Sleptsov, Dmitry A. Zaitsev

Publication date: 28 April 1999

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

zbMATH Keywords

functional equivalence of Petri nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Universal Sleptsov net, Distributed synthesis of asynchronously communicating distributed process models, Universality in Infinite Petri Nets, State equations of stochastic timed Petri nets with informational relations, Method of fuzzy critical path for network planning and control over projects based on soft computations, Compositional analysis of Petri nets, Switched LAN simulation by colored Petri nets

Cites Work

• Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets
• State equation, controllability, and maximal matchings of petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item