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

Authors:
Nadia Busi;G. Michele Pinna
Affiliations:
(Correspd.) Dipartimento di Scienze dell'Informazione, Università di Bologna, Bologna, Italy. busi@cs.unibo.it;(Correspd.) Dipartimento di Matematica, Università di Siena, Siena, Italy. pinna@mat.unisi.it
Venue:
Fundamenta Informaticae
Year:
1999

Citing 15
Cited 0

Petri nets: an introduction

Petri nets: an introduction
Petri net semantics of priority systems

Selected papers of the Second Workshop on Concurrency and compositionality
Semantics of inhibitor nets

Information and Computation
Partial order and contextual net semantics for atomic and locally atomic CC programs

Science of Computer Programming - Special issue on concurrent constraint programming
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Partial Order Semantics and Read Arcs

MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Efficiency of Asynchronous Systems and Read Arcs in Petri Nets

ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
A Petri Net Semantics for pi-Calculus

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Modelling Concurrent Accesses to Shared Data via Petri Nets

PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Concurrency and Concurrent Constraint Programming

Selected Papers from Constraint Programming: Basics and Trends
Non Sequential Semantics for Contextual P/T Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Comments on capabilities, limitations and “correctness” of Petri nets

ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A Petri Net model of the CDC 6400

Proceedings of the SIGOPS workshop on System performance evaluation
PETRI NET LANGUAGE

PETRI NET LANGUAGE
Processes of Contextual Nets and their Characteristics

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we introduce a truly concurrent semantics for P/T nets with inhibitor and read arcs, called henceforth Contextual P/T nets. The semantics is based on a proper extension of the notion of process to cope with read and inhibitor arcs: we show that most of the properties enjoined by the classical process semantics for P/T nets continue to hold and we substantiate the adequateness of our notion by comparing it with the step semantics.