179 search results - page 8 / 36 » Semantics of petri nets: a comparison |
APN
2006
Springer
13 years 11 months ago
2006
Springer
Dynamic nets are an extension of Petri nets where the net topology may change dynamically. This is achieved by allowing (i) tokens to be coloured with place names (carried on as da...
APN
2007
Springer
14 years 1 months ago
2007
Springer
FORMATS
2005
Springer
14 years 26 days ago
2005
Springer
FUIN
2010
13 years 4 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
GI
2005
Springer
14 years 26 days ago
2005
Springer
: This contribution discusses the application of Petri nets for modeling workflow in healthcare based on a normative language approach. After a brief inon, a framework of different...