Time Recursive Petri Nets

DOI10.1007/978-3-540-89287-8_7MaRDI QIDQ3599214zbMATH OpenOpenAlexFDO

Authors Djaouida Dahmani, J.-M. Ilié, Malika Boukala

Publication date 3 February 2009

Published in Transactions on Petri Nets and Other Models of Concurrency I (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89287-8_7

zbMATH Keywords

recursive Petri netrecursivitythreadstime Petri net

Mathematics Subject Classification ID

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

Recommendations

• The expressive power of time Petri nets
• The right timing: reflections on the modeling and analysis of time
• scientific article; zbMATH DE number 1836397
• Analysis of discrete‐time stochastic petri nets
• scientific article; zbMATH DE number 1228291

Cites work

• Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures
• scientific article; zbMATH DE number 1341756 (Why is no real title available?)
• Lectures on Concurrency and Petri Nets
• Recursive Petri nets
• State space computation and analysis of Time Petri Nets
• Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences

Cited in

(7)

• scientific article; zbMATH DE number 2088661 (Why is no real title available?)
• Dynamic Recursive Petri Nets
• Time Petri nets with dynamic firing dates: semantics and applications
• Computer Aided Verification
• Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis
• AI 2005: Advances in Artificial Intelligence
• On the composition of time Petri nets

This page was built for publication: Time Recursive Petri Nets

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