``Truly concurrent and nondeterministic semantics of discrete-time Petri nets

DOI10.1134/S0361768816040071zbMath1451.68194MaRDI QIDQ2216716

V. A. Borovlev, I. B. Virbitskaite, Louchka Popova-Zeugmann

Publication date: 16 December 2020

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (1)

Testing equivalences of time Petri nets

Cites Work

• Unnamed Item
• Recent advances in unfolding technique
• Efficient unfolding of contextual Petri nets
• Executability of scenarios in Petri nets
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• A technique of state space search based on unfolding
• Model checking using net unfoldings
• A causal semantic for time Petri nets
• Canonical prefixes of Petri net unfoldings
• Time and Petri Nets
• Hierarchical Timed High Level Nets and Their Branching Processes
• Directed Unfolding of Petri Nets
• On the semantics of place/transition Petri nets
• Branching Processes of General Petri Nets
• Timed processes of Timed Petri Nets
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computation Structures
• CONCUR 2003 - Concurrency Theory

This page was built for publication: ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets