Understanding Petri Nets
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 5762567
- scientific article; zbMATH DE number 3885321
- scientific article; zbMATH DE number 47952
- Petri nets. Theoretical models and analysis methods for concurrent systems
- scientific article; zbMATH DE number 4197449
- scientific article; zbMATH DE number 1646978
- scientific article; zbMATH DE number 3965450
- Analysis of Petri nets and transition systems
- scientific article; zbMATH DE number 1973118
Cited in
(95)- Sufficient and necessary condition to decide compatibility for a class of interorganizational workflow nets
- Signal set tissue systems and overlapping localities
- Cellular adaptive Petri net based on learning automata and its application to the vertex coloring problem
- Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights
- Model-based fault identification of discrete event systems using partially observed Petri nets
- Associative composition of components with double-sided interfaces
- Composition colored Petri nets for the refinement of reaction-based models
- Ensuring liveness properties of distributed systems: open problems
- A study on team bisimulation and H-team bisimulation for BPP nets
- Computing parameterized invariants of parameterized Petri nets
- Firing partial orders in a Petri net
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
- Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior
- Data and process resonance. Identifier soundness for models of information systems
- Solving high-level Petri games
- Team equivalences for finite-state machines with silent moves
- Automatic construction of systems of distributed components from nested Petri nets models
- Consensus formation in networks with neighbor-dependent synergy and observer effect
- Team bisimilarity, and its associated modal logic, for BPP nets
- Complexity of the deadlock problem for Petri nets modeling resource allocation systems
- A survey of siphons in Petri nets
- An extension of the taxonomy of persistent and nonviolent steps
- Generating all minimal Petri net unsolvable binary words
- Presynthesis of bounded choice-free or fork-attribution nets
- Structural liveness of Petri nets is \textsc{ExpSpace}-hard and decidable
- Verification of finite-state machines: a distributed approach
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- Reversible computation in nets with bonds
- Transformation of variants of Petri nets into context-dependent fusion grammars
- A kinetic theory model for the energy-demand management in a microgrid-macrogrid network
- scientific article; zbMATH DE number 1646978 (Why is no real title available?)
- Petri nets properties related to the unboundness and analyzed using coverability multigraph
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
- Characterising Petri net solvable binary words
- Deciding Structural Liveness of Petri Nets
- Model checking Petri nets with names using data-centric dynamic systems
- Nested Petri nets: modeling and analysis of distributed systems with object structure
- Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
- scientific article; zbMATH DE number 5762567 (Why is no real title available?)
- Coloured Petri Nets
- Modeling and simulation of distributed systems. With CD-ROM
- scientific article; zbMATH DE number 3903979 (Why is no real title available?)
- scientific article; zbMATH DE number 3965450 (Why is no real title available?)
- scientific article; zbMATH DE number 4045101 (Why is no real title available?)
- scientific article; zbMATH DE number 52953 (Why is no real title available?)
- scientific article; zbMATH DE number 107927 (Why is no real title available?)
- scientific article; zbMATH DE number 641375 (Why is no real title available?)
- Event structures for Petri nets with persistence
- Behavioural models. From modelling finite automata to analysing business processes
- Discrete, Continuous, and Hybrid Petri Nets
- scientific article; zbMATH DE number 791343 (Why is no real title available?)
- scientific article; zbMATH DE number 817432 (Why is no real title available?)
- scientific article; zbMATH DE number 839083 (Why is no real title available?)
- The Petri net Baukasten: 2nd installment
- Reversible session-based pi-calculus
- Investigating reversibility of steps in Petri nets
- A new operational representation of dependencies in event structures
- Petri nets. Theoretical models and analysis methods for concurrent systems
- Computing Parameterized Invariants of Parameterized Petri Nets
- PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets
- Compositional specification in rewriting logic
- Free-choice Nets with Home Clusters are Lucent
- Causal Semantics for BPP Nets with Silent Moves
- Augmented marked graphs
- scientific article; zbMATH DE number 7147446 (Why is no real title available?)
- Conditions for Petri net solvable binary words
- Modeling business processes. A Petri net-oriented approach
- scientific article; zbMATH DE number 971419 (Why is no real title available?)
- Merging relations: a way to compact Petri nets' behaviors uniformly
- Acyclic and cyclic reversing computations in Petri nets
- Carl Adam Petri. A biography
- Carl Adam Petri. Life and science. Translated from the German by the author and Tim Denvir
- High-level representation of benchmark families for Petri games
- Rough sets: past, present, and future
- Just testing
- Maximal and Minimal Dynamic Petri Net Slicing
- Reversing Steps in Petri Nets
- Petri Net Primer
- A categorical semantics for bounded Petri nets
- Describing Behavior of Processes with Many-to-Many Interactions
- Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns
- Correctness Notions for Petri Nets with Identifiers
- Fundamentals of the Integrated Use of Neural Network and Ontolinguistic Paradigms: A Comprehensive Approach
- ILP\textsuperscript{2} Miner -- process discovery for partially ordered event logs using integer linear programming
- Taking complete finite prefixes to high level, symbolically
- Token trail semantics -- modeling behavior of Petri nets with labeled Petri nets
- Taking complete finite prefixes to high level, symbolically
- A compositional framework for Petri nets
- Causally deterministic Markov decision processes
- Structural liveness of conservative Petri nets
- Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models
- Soundness of reset workflow nets
- Discovering hierarchical process models: an approach based on events partitioning
- Dynamic analysis of Petri net-based discrete systems
- Untanglings: a novel approach to analyzing concurrent systems
This page was built for publication: Understanding Petri Nets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4911790)
