1369 search results - page 17 / 274 » On the Semantics of Petri Nets |
FSTTCS
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. In [12] we started a research on a distributed-timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the ...
JNW
2010
13 years 6 months ago
2010
—A Petri net synthesis method is proposed, which is the key method to ensure the synthesis net preserving well behaved properties. Conditions of structural liveness preservation ...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
IFM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
IAJIT
2008
13 years 7 months ago
2008
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...