scientific article; zbMATH DE number 3974312
From MaRDI portal
Publication:3740251
Recommendations
- On the semantics of place/transition Petri nets
- scientific article; zbMATH DE number 1490008
- Formal Methods in Software and Systems Modeling
- scientific article; zbMATH DE number 1899812
- On the rationality of Petri net languages
- Petri nets and bisimulation
- scientific article; zbMATH DE number 5506906
- scientific article; zbMATH DE number 4001509
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- scientific article; zbMATH DE number 3922334
Cited in
(49)- Executability of scenarios in Petri nets
- Sequential and concurrent behaviour in Petri net theory
- Concurrency and atomicity
- Executions: A new partial-order semantics of Petri nets
- Petri net semantics of priority systems
- A uniform approach to true-concurrency and interleaving semantics for Petri nets
- Finite Petri nets as models for recursive causal behaviour
- A Petri nets semantics for data flow networks
- ``Truly concurrent and nondeterministic semantics of discrete-time Petri nets
- On the fluidization of Petri nets and marking homothecy
- Bayesian network semantics for Petri nets
- Petri nets as semantic domain for diagram notations
- A Petri net semantics of a simple process algebra for mobility
- Non-atomic transition firing in contextual nets
- ON YEN'S PATH LOGIC FOR PETRI NETS
- On causal semantics of Petri nets (extended abstract)
- The non-sequential behaviour of Petri nets
- Comparing Semantics Under Strong Timing of Petri Nets
- On the efficient computation of the minimal coverability set of Petri nets
- Canonical transition set semantics for Petri nets
- scientific article; zbMATH DE number 5506906 (Why is no real title available?)
- Non-sequential Behaviour of Dynamic Nets
- How Expressive Are Petri Net Schemata?
- Unifying Petri Net Semantics with Token Flows
- scientific article; zbMATH DE number 3902012 (Why is no real title available?)
- scientific article; zbMATH DE number 4085041 (Why is no real title available?)
- scientific article; zbMATH DE number 44349 (Why is no real title available?)
- scientific article; zbMATH DE number 1361137 (Why is no real title available?)
- On the semantics of place/transition Petri nets
- PRIORITIES AS A BASIS FOR CONTROL IN NONSEQUENTIAL SYSTEMS
- scientific article; zbMATH DE number 2060760 (Why is no real title available?)
- Non sequential semantics for contextual P/T nets
- scientific article; zbMATH DE number 2152690 (Why is no real title available?)
- scientific article; zbMATH DE number 1361506 (Why is no real title available?)
- scientific article; zbMATH DE number 785044 (Why is no real title available?)
- scientific article; zbMATH DE number 1435987 (Why is no real title available?)
- On occurrence net semantics for petri nets with contacts
- Dataflow semantics for Petri nets
- A fully abstract semantics for termination in Petri nets
- A trace semantics for Petri Nets
- Truly concurrent and nondeterministic semantics of discrete-time elementary net systems
- scientific article; zbMATH DE number 5201373 (Why is no real title available?)
- scientific article; zbMATH DE number 5263412 (Why is no real title available?)
- Causal semantics for Petri nets with contacts
- Synthesis and Analysis of Petri Nets from Causal Specifications
- M-net Calculus Based Semantics for Triggers
- Using transition set sequences to partition behaviors of Petri nets
- A coalgebraic semantics for causality in Petri nets
- Partial order behaviour and structure of Petri nets
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 Q3740251)
