Time Recursive Petri Nets

DOI10.1007/978-3-540-89287-8_7zbMath1171.68569OpenAlexW1608601184MaRDI QIDQ3599214

Jean-Michel Ilié, Malika Boukala, Djaouida Dahmani

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

threadstime Petri netrecursivityrecursive Petri net

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Formal methods for components and objects. 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7--10, 2006. Revised lectures
• Recursive Petri nets
• Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences
• State space computation and analysis of Time Petri Nets
• Lectures on Concurrency and Petri Nets

This page was built for publication: Time Recursive Petri Nets