Branching Processes of Timed Petri Nets

DOI10.1007/978-3-319-41579-6_23zbMath1461.68138OpenAlexW2479258420MaRDI QIDQ3179184

I. B. Virbitskaite, Victor Borovlyov, Louchka Popova-Zeugmann

Publication date: 21 December 2016

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41579-6_23

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Unnamed Item
• Recent advances in unfolding technique
• Efficient unfolding of contextual Petri nets
• Petri nets, event structures and domains. I
• Branching processes of Petri nets
• Model checking using net unfoldings
• A causal semantic for time Petri nets
• Canonical prefixes of Petri net unfoldings
• Time and Petri Nets
• Faster Unfolding of General Petri Nets Based on Token Flows
• 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
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Formal Modeling and Analysis of Timed Systems
• Foundations of Software Science and Computation Structures

This page was built for publication: Branching Processes of Timed Petri Nets