scientific article; zbMATH DE number 1302042

Cited in

(43)

Introducing time in reaction systems
Phase semantics and Petri net interpretation for resource-sensitive strong negation
Confusion control in generalized Petri nets using synchronized events
Interval semantics for Petri nets with inhibitor arcs
Expansion nets and expansion processes of elementary net systems
Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations
Relational structures for concurrent behaviours
The complexity of synthesizing \textsf{nop}-equipped Boolean Petri nets from \(g\)-bounded inputs
Property-preserving transformations of elementary net systems based on morphisms
On the parameterized complexity of the synthesis of Boolean nets with restricted place environments
The complexity of synthesizing elementary net systems relative to natural parameters
Confusion analysis and detection for workflow nets
Step semantics of Boolean nets
Nested-unit Petri nets
Probabilistic event structures and domains
A Petri net model for membrane systems with dynamic structure
On interval process semantics of Petri nets with inhibitor arcs
Comparative trace semantics of time Petri nets
The mutex paradigm of concurrency
On intransitive non-interference in some models of concurrency
scientific article; zbMATH DE number 4193145 (Why is no real title available?)
A classification of BPMN collaborations based on safeness and soundness notions
Modeling Distributed Private Key Generation by Composing Petri Nets
Failures: Their Definition, Modelling and Analysis
scientific article; zbMATH DE number 4037216 (Why is no real title available?)
scientific article; zbMATH DE number 4037217 (Why is no real title available?)
Localities in systems with a/sync communication
On the Analysis of Petri Nets and their Synthesis from Process Languages
The true concurrency of differential interaction nets
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.
Algebraic structure of step traces and interval traces
Automatic decomposition of Petri nets into automata networks -- a synthetic account
Modeling concurrency with interval traces
scientific article; zbMATH DE number 7147446 (Why is no real title available?)
Step traces
Process semantics of general inhibitor nets
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets
On Interval Semantics of Inhibitor and Activator Nets
Token multiplicity in reversing Petri nets under the individual token interpretation
Interval traces with mutex relation
Dialectica Petri nets
Processes of membrane systems with promoters and inhibitors
Typed event structures and the linear \(\pi \)-calculus

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 Q4247285)