Oclets – Scenario-Based Modeling with Petri Nets

DOI10.1007/978-3-642-02424-5_14zbMath1242.68176OpenAlexW1587276329MaRDI QIDQ3636847

Dirk Fahland

Publication date: 30 June 2009

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-02424-5_14

zbMATH Keywords

operational semanticsPetri netspartial orderscenarios

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Firing partial orders in a Petri net

Uses Software

• VipTool

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Branching processes of Petri nets
• Unfoldings: A partial-order approach to model checking.
• Independence of Net Transformations and Token Firing in Reconfigurable Place/Transition Systems
• An event structure based semantics for high-level message sequence charts
• CONCUR 2003 - Concurrency Theory
• LSCs: Breathing life into message sequence charts

This page was built for publication: Oclets – Scenario-Based Modeling with Petri Nets