630 search results - page 5 / 126 » Oclets - Scenario-Based Modeling with Petri Nets |
TSMC
2002
14 years 11 months ago
2002
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
LFCS
1997
Springer
15 years 3 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
105
Voted
COCOON
2003
Springer
15 years 4 months ago
2003
Springer
We study the complexity of the reachability problem for a new subclass of Petri nets called simple-circuit Petri nets, which properly contains several well known subclasses such as...
101
Voted
ATVA
2009
Springer
15 years 3 months ago
2009
Springer
TAPAAL is a new platform independent tool for modelling, simulation and verification of timed-arc Petri nets. TAPAAL provides a stand-alone editor and simulator, while the verifica...