Petri nets and bisimulation

DOI10.1016/0304-3975(95)00122-0MaRDI QIDQ672873zbMATH OpenOpenAlexFDO

Authors Mogens Nielsen, Glynn Winskel

Publication date 28 February 1997

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(95)00122-0

zbMATH Keywords

concurrencyPetri netsbisimulationasynchronous transition systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 1302049
• scientific article; zbMATH DE number 3905836
• Concurrent bisimulations in Petri nets
• From Petri nets to automata with concurrency
• scientific article; zbMATH DE number 3988722

Cites work

• scientific article; zbMATH DE number 4018370 (Why is no real title available?)
• scientific article; zbMATH DE number 3898224 (Why is no real title available?)
• scientific article; zbMATH DE number 4074506 (Why is no real title available?)
• scientific article; zbMATH DE number 17804 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 176758 (Why is no real title available?)
• scientific article; zbMATH DE number 1028833 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• scientific article; zbMATH DE number 4119618 (Why is no real title available?)
• scientific article; zbMATH DE number 4119656 (Why is no real title available?)
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• A completeness theorem for open maps
• Bisimulation from open maps
• Bisimulation of automata
• Concurrent Machines
• Elementary transition systems
• Linear logic
• Modeling concurrency with partial orders
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Petri nets, algebras, morphisms, and compositionality
• Petri nets, event structures and domains. I

Cited in

(32)

• CTS systems and Petri nets
• Property-preserving transformations of elementary net systems based on morphisms
• scientific article; zbMATH DE number 2088664 (Why is no real title available?)
• Towards a unified view of bisimulation: A comparative study
• scientific article; zbMATH DE number 4092787 (Why is no real title available?)
• Petri nets, algebras, morphisms, and compositionality
• Error-correcting Petri nets
• Recursion and Petri nets
• The homology of partial monoid actions and Petri nets
• Elasticity and Petri Nets
• Presheaf models for CCS-like languages
• scientific article; zbMATH DE number 4033099 (Why is no real title available?)
• Undecidability of domino games and hhp-bisimilarity.
• scientific article; zbMATH DE number 979001 (Why is no real title available?)
• Formal relationships between geometrical and classical models for concurrency
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm
• scientific article; zbMATH DE number 3905836 (Why is no real title available?)
• PETRI NETS AND STEP TRANSITION SYSTEMS
• Concurrent bisimulations in Petri nets
• scientific article; zbMATH DE number 2064225 (Why is no real title available?)
• On the expressiveness of higher dimensional automata
• Petri nets and regular processes
• New Bisimulation Semantics for Distributed Systems
• Timing Petri nets categorically
• Transition systems, link graphs and Petri nets
• Normal and sinkless Petri nets
• Simultaneous Petri Net Synthesis
• Synchronization expressions with extended join operation
• scientific article; zbMATH DE number 4119656 (Why is no real title available?)
• Semantic domains of timed event structures
• Homology and bisimulation of asynchronous transition systems and Petri nets
• scientific article; zbMATH DE number 3974312 (Why is no real title available?)

This page was built for publication: Petri nets and bisimulation

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