Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Information and Computation
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
A trace semantics for Petri nets
Information and Computation
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
On the Semantics of Place/Transition Nets
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
An Event Structure Semantics for Safe Graph Grammars
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Petri Nets and Other Models of Concurrency
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Compositional Partial Order Semantics for Petri Net Components
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
On distributed languages and models for concurrency
Advances in Petri Nets 1992, The DEMON Project
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Petri Nets over Partial Algebra
Unifying Petri Nets, Advances in Petri Nets
Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop
Relationships Between Models of Concurrency
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Relationships Between Models of Concurrency
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Continuous Engineering of Information and Communication Infrastructures (Extended Abstract)
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
Journal of Integrated Design & Process Science - Component-Based System Development
| Hi-index | 0.00 |
In this paper, we propose a new,loose semantics for place/tran- sition nets based on transition systems and generalizing the reachability graph semantics. The loose semantics of a place/transition net reflects all its possible refinements and is given as a category of transition systems with alternative sequences of events over the net. The main result states that each plain morphism between two place/transitions nets induces a free construction between the corresponding semantic categories.