136 search results - page 2 / 28 » Algorithm of Translation of MSC-specified System into Petri ... |
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
APN
2008
Springer
13 years 7 months ago
2008
Springer
This paper presents an algorithm for the synthesis of bounded Petri nets from transition systems. A bounded Petri net is always provided in case it exists. Otherwise, the events ar...
JCIT
2007
13 years 5 months ago
2007
Rough Petri nets model (RPNM) for knowledge representation, rule generation, and reasoning is presented in this paper. An algorithm for verifying the consistency of a rough knowle...
IROS
2009
IEEE
13 years 12 months ago
2009
IEEE
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
ESANN
2008
13 years 6 months ago
2008
Petri net faulty models are useful for reliability analysis and fault diagnosis of discrete event systems. Such models are difficult to work out as long as they must be computed ac...