Petri net semantics of priority systems

A formal definition of priority in CSP

ACM Transactions on Programming Languages and Systems (TOPLAS)

A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems

Fundamenta Informaticae

True Concurrency in Models of Asynchronous Circuit Behavior

Formal Methods in System Design

A Concurrent and Compositional Petri Net Semantics of Preemption

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities

IEEE Transactions on Software Engineering

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets

Science of Computer Programming

Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing

Uniting global and local context behavior with context Petri nets

Proceedings of the International Workshop on Context-Oriented Programming

A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

Fundamenta Informaticae

Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs

Fundamenta Informaticae