Title :
Time semantics in Time Basic nets
Author :
A. N. Kovács;Š. Hudák
Author_Institution :
Technical University of Kosice/Department of Computers and Informatics, Kosice, Slovak Republic
Abstract :
Petri nets are a well known formalism for modeling and verification of different kinds of systems. Today´s time-critical systems require wide and precise modeling capabilities. For this reason different extension of Petri nets have been proposed, such as Time and Timed Petri nets, Stochastic Petri nets or Time Basic nets. In this paper we will focus our attention to Time Basic Nets, because they have a bigger modeling power then Time Petri nets and can be verified more easily then Stochastic Petri nets.
Keywords :
"Petri nets","Power system modeling","Stochastic processes","Real time systems","Fires","Clocks","Informatics","Time factors","Machine intelligence","Patient monitoring"
Conference_Titel :
Applied Machine Intelligence and Informatics (SAMI), 2010 IEEE 8th International Symposium on
Print_ISBN :
978-1-4244-6422-7
DOI :
10.1109/SAMI.2010.5423710
