A compositional model of time Petri nets

DOI10.1007/3-540-44988-4_18MaRDI QIDQ2766569zbMATH OpenFDO

Authors Maciej Koutny

Publication date 17 June 2002

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

Full work available at URL https://doi.org/10.1007/3-540-44988-4_18

Mathematics Subject Classification ID

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

Recommendations

• Theoretical Aspects of Computing - ICTAC 2004
• On the composition of time Petri nets
• scientific article; zbMATH DE number 744062
• A brief survey and synthesis of the roles of time in Petri nets.
• Time-based expressivity of time Petri nets for system specification

Cited in

(10)

• Time-based expressivity of time Petri nets for system specification
• Performance evaluation in stochastic process algebra dtsdPBC
• Discrete time stochastic and deterministic Petri box calculus dtsdPBC
• A congruence relation for sPBC
• Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets
• Extending the Petri box calculus with time
• Theoretical Aspects of Computing - ICTAC 2004
• Formal Modeling and Analysis of Timed Systems
• On the composition of time Petri nets
• Performance preserving equivalence for stochastic process algebra dtsdPBC

This page was built for publication: A compositional model of time Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766569)