scientific article; zbMATH DE number 1302043
From MaRDI portal
Publication:4247286
Recommendations
- On the semantics of place/transition Petri nets
- scientific article; zbMATH DE number 3922334
- Petri nets
- Petri-Netze
- scientific article; zbMATH DE number 979001
- PETRI NETS AND STEP TRANSITION SYSTEMS
- Transition systems, link graphs and Petri nets
- scientific article; zbMATH DE number 60121
- Process versus unfolding semantics for Place/Transition Petri nets
- A process calculus for expressing finite place/transition Petri nets
Cited in
(39)- Executability of scenarios in Petri nets
- Discovering directly-follows complete Petri nets from event data
- Combining free choice and time in Petri nets
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Transformation of variants of Petri nets into context-dependent fusion grammars
- Causal Semantics for BPP Nets with Silent Moves
- On the expressiveness of mobile synchronizing Petri nets
- scientific article; zbMATH DE number 1799516 (Why is no real title available?)
- Step coverability algorithms for communicating systems
- Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves
- Firing partial orders in a Petri net
- Robustness of deadlock control for a class of Petri nets with unreliable resources
- Localities in systems with a/sync communication
- A study on team bisimulation and H-team bisimulation for BPP nets
- On Interval Semantics of Inhibitor and Activator Nets
- Petri nets with name creation for transient secure association
- Language representability of finite P/T nets
- scientific article; zbMATH DE number 1912023 (Why is no real title available?)
- scientific article; zbMATH DE number 4035157 (Why is no real title available?)
- Decidability and complexity of Petri nets with unordered data
- scientific article; zbMATH DE number 1820097 (Why is no real title available?)
- Interval traces with mutex relation
- scientific article; zbMATH DE number 3885321 (Why is no real title available?)
- On interleaving behaviour of PT-nets
- Petri net reactive modules
- Question-guided stubborn set methods for state properties
- Modeling concurrency with interval traces
- Interval semantics for Petri nets with inhibitor arcs
- scientific article; zbMATH DE number 4074505 (Why is no real title available?)
- On the Analysis of Petri Nets and their Synthesis from Process Languages
- Structure and behavior preservation by Petri-net-based refinements in system design
- Stop-transitions of Petri nets
- Structure theory of Petri nets
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- On the semantics of place/transition Petri nets
- scientific article; zbMATH DE number 4031001 (Why is no real title available?)
- Unifying Petri nets with restricted occurrence rule using partial algebra
- Modeling Petri Nets by Local Action Systems1 1Partially supported by the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems) and Esprit Working Group APPLIGRAPH through Universitaire Instelling Antwerpen.
- Analysis of Petri nets and transition systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247286)
