Strategic directions in concurrency research
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Functorial models for petri nets
Information and Computation
Dynamic connectors for concurrency
Theoretical Computer Science
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
A Comparison of Petri Net Semantics under the Collective Token Philosophy
ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Algebraic Models for Contextual Nets
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Two Algebraic Process Semantics for Contextual Nets
Unifying Petri Nets, Advances in Petri Nets
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Petri Nets, Configuration Structures and Higher Dimensional Automata
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Formal and natural computing
Higher Dimensional Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Revisiting the algebra of Petri net processes under the collective token philosophy
Fundamenta Informaticae - Concurrency specification and programming
Theoretical Computer Science
Transition and cancellation in concurrency and branching time
Mathematical Structures in Computer Science
Higher dimensional automata revisited
Mathematical Structures in Computer Science
On the semantics of place/transition Petri nets
Mathematical Structures in Computer Science
Chu I: cofree equivalences, dualities and *-autonomous categories
Mathematical Structures in Computer Science
A completed hierarchy of true concurrent equivalences
Information Processing Letters
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
Domain and event structure semantics for Petri nets with read and inhibitor arcs
Theoretical Computer Science
The individual and collective token interpretations of Petri nets
CONCUR 2005 - Concurrency Theory
On the expressiveness of higher dimensional automata
Theoretical Computer Science - Expressiveness in concurrency
Erratum: Erratum to “On the expressiveness of higher dimensional automata”
Theoretical Computer Science
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Fundamenta Informaticae
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Probabilistic Configuration Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Configuration structures, event structures and Petri nets
Theoretical Computer Science
Executing transactions in zero-safe nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
The java memory model: operationally, denotationally, axiomatically
ESOP'07 Proceedings of the 16th European conference on Programming
How much is worth to remember? a taxonomy based on petri nets unfoldings
PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets
Possibilistic information flow control in MAKS and action refinement
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Event structures for the collective tokens philosophy of inhibitor nets
MFCS'05 Proceedings of the 30th international conference on Mathematical Foundations of Computer Science
Nested quantification in graph transformation rules
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Event Structures with Disabling/Enabling Relation and Event Automata
Fundamenta Informaticae
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Event Structures for Arbitrary Disruption
Fundamenta Informaticae
Towards a Framework for Modelling Systems with Rich Internal Structures of States and Processes
Fundamenta Informaticae
Revisiting the Algebra of Petri Net Processes under the Collective Token Philosophy
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
On multi-enabledness in time Petri nets
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Hi-index | 0.00 |
Configuration structures provide a model of concurrency generalizing the families of configurations of event structures. They can be considered logically, as classes of propositional models; then sub-classes can be axiomatised by formulae of simple prescribed forms. Several equivalence relations for event structures are generalized to configuration structures, and also to general Petri nets. Every configuration structure is shown to be ST-bisimulation equivalent to a prime event structure with binary conflict; this fails for the tighter history preserving bisimulation. Finally, Petri nets without self-loops under the collective token interpretation are shown behaviorally equivalent to configuration structures, in the sense that there are translations in both directions respecting history preserving bisimulation. This fails for nets with self-loops.