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