M-nets: a survey
From MaRDI portal
Publication:1006339
DOI10.1007/S00236-008-0077-0zbMath1178.68366OpenAlexW2069697538MaRDI QIDQ1006339
Hanna Klaudel, Franck Pommereau
Publication date: 20 March 2009
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-008-0077-0
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modular construction and partial order semantics of Petri nets
- Petri nets and algebraic specifications
- Sequential and concurrent behaviour in Petri net theory
- System modelling with high-level Petri nets
- Petri net semantics of priority systems
- A calculus of mobile processes. II
- M-nets: An algebra of high-level Petri-nets, with an application to the semantics of concurrent programming languages
- A theory of timed automata
- General parameterised refinement and recursion for the M-net calculus
- Petri net algebra
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper)
- The non-sequential behaviour of Petri nets
- A Petri Net Translation of π-Calculus Terms
- Refinement of coloured petri nets
- A class of composable high level Petri nets
- Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Formal Modeling and Analysis of Timed Systems
- Integrated Formal Methods
- Compositional high-level Petri net semantics of a parallel programming language with procedures
- High level expressions with their SOS semantics
This page was built for publication: M-nets: a survey
