E. Badouel and P. Darondeau. On the synthesis of general Petri nets. Inria Research Report 3025, 1996. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Synthesis of Nets With Inhibitor Arcs - Busi, Pinna (Correct)
....a condition that must hold for an event to happen. One of the basic questions was: how it is possible to synthesize a net from the sequential observations of its behaviour (usually represented as a transition system) and which properties characterize such sequential observations (see also [2, 3, 1, 11] and [14, 10] among others, also for the synthesis of nets from non sequential observation) Research partially supported by MURST, quota 60 . 2 These arcs are called contextual arcs in [9] and read arcs in [13] In this paper we consider the problem of synthesizing an elementary net ....
....that an inhibitor arc (or, otherwise stated, an inhibiting condition) shouldn t appear inside a sequential component. This fact shed some light on the real usage of inhibitor arcs. Note that the synthesis problem for nets with inhibitor arcs can be solved also within the general framework of [3], however we look for a more direct characterization of transition systems. The paper is organized as follows: in Sections 2, 3 and 4 we recall some basic notions about transition systems, elementary net systems and regions respectively. In Section 5 we face with the synthesis problem of ....
E. Badouel and P. Darondeau. On the synthesis of general Petri nets. Inria Research Report 3025, 1996.
Stratified Petri Nets - Badouel, Darondeau (1997) Self-citation (Badouel) (Correct)
.... Ph. Darondeau along any closed path of the transition system. The synthesis problem for pure Petri nets can then be solved in polynomial time using algorithms borrowed from the litterature on linear algebra over the rationals [2] This algorithm, that was latter extended for general Petri Nets [6], is adapted in this paper for the class of stratified Petri nets. Let us recall that in contrast this method cannot be adapted for elementary nets systems for which the synthesis problem was indeed proved to be NP complete [3] However some boolean counterpart of the notion of generalized regions ....
Badouel, E., and Darondeau, Ph., On the synthesis of General Petri Nets, Inria Research Report 3025 (1996).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC