In: Zhou, M.C.: Petri Nets in Flexible and Agile Automation, pages 305-336. Dordrecht, NL: Kluwer Academic Publishers, 1995.
Abstract: The objective of this chapter is to give an insight of the new approaches recently applied to specify reactive automatic systems. State transition based systems such as Petri nets and statecharts are not self-sufficient when dealing with hybrid systems; conplementary tools and associated methods are required. The DFD extended and object oriented methods are used by integrating Petri nets or statecharts for specifying behavioural aspects. It is made throughout the whole chapter, an abstraction of implementation issues, hardware or software.