Models from Scenarios

DOI10.1007/978-3-642-38143-0_9zbMath1382.68152OpenAlexW194241632MaRDI QIDQ4924452

Gabriel Juhás, Jörg Desel, Robert Lorenz

Publication date: 31 May 2013

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

Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/files/56096/56096.pdf

zbMATH Keywords

synthesispartial orderPetri netcausal semanticsstratified order structureregion theorypartial language

Mathematics Subject Classification ID

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

Related Items (2)

Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Discovering Object-centric Petri Nets

Uses Software

• VipTool

This page was built for publication: Models from Scenarios