Conference
Synthesis of Nets with Step Firing Policies
Abstract
The unconstrained step semantics of Petri nets is impractical for simulating and modelling applications. In the past, this inadequacy has been alleviated by introducing various flavours of maximally concurrent semantics, as well as priority orders. In this paper, we introduce a general way of controlling step semantics of Petri nets through step firing policies that restrict the concurrent behaviour of Petri nets and so improve their execution …
Authors
Darondeau P; Koutny M; Pietkiewicz-Koutny M; Yakovlev A
Volume
94
Pagination
pp. 275-303
Publisher
SAGE Publications
Publication Date
July 2009
DOI
10.3233/fi-2009-132
Conference proceedings
Fundamenta Informaticae
Issue
3-4
ISSN
0169-2968