Towards a general model to handle multi-enabledness in time Petri nets

DOI10.1007/978-3-319-16577-6_5MaRDI QIDQ5348537zbMATH OpenOpenAlexFDO

Authors Abdelkrim Abdelli

Publication date 18 August 2017

Published in Formalisms for Reuse and Systems Integration (Search for Journal in Brave)

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

zbMATH Keywords

age semanticsfiring pointsmulti-enablednessmulti-server semanticsPetri netsthreshold semantics

Mathematics Subject Classification ID

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

Recommendations

• On Multi-enabledness in Time Petri Nets
• Automated Technology for Verification and Analysis
• A brief survey and synthesis of the roles of time in Petri nets.
• Towards a consistent semantics for unsafe time Petri nets
• The expressive power of time Petri nets

Cited in

(1)

• On Multi-enabledness in Time Petri Nets

This page was built for publication: Towards a general model to handle multi-enabledness in time Petri nets

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