Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets
From MaRDI portal
Publication:3612926
DOI10.1007/978-3-540-73094-1_7zbMath1226.68050OpenAlexW1555450222MaRDI QIDQ3612926
Publication date: 11 March 2009
Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_7
Related Items
`True concurrency' semantics for time Petri nets with weak time and persistent atomic policies ⋮ On the composition of time Petri nets ⋮ Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets ⋮ Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format