Maria: Modular reachability analyser for algebraic system nets

DOI10.1007/3-540-48068-4_25MaRDI QIDQ3045275zbMATH OpenFDO

Authors Marko M. Mäkelä

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600434.htm

Mathematics Subject Classification ID

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

Recommendations

• Optimising enabling tests and unfoldings of algebraic system nets
• High-level Petri net model checking with AlPiNA
• Applications and Theory of Petri Nets 2004
• Analysis of Petri nets and transition systems
• Applications and Theory of Petri Nets 2005

Cited in

(7)

• M-nets: a survey
• A UTP approach for rTiMo
• Maria
• A process calculus BigrTiMo of mobile systems and its formal semantics
• LoLa: A low level analyser
• Petri nets with causal time for system verification
• High-level Petri net model checking with AlPiNA

Describes a project that uses

Uses Software

• LoLA
• Bandera

This page was built for publication: Maria: Modular reachability analyser for algebraic system nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045275)