941 search results - page 129 / 189 » Haskell-Coloured Petri Nets |
APN
2010
Springer
14 years 1 months ago
2010
Springer
Decision diagrams (DDs) have made their way into Petri net (PN) tools either in the form of new tools (usually designed from scratch to use DDs) or as enhancements to existing tool...
ICLP
2010
Springer
14 years 1 months ago
2010
Springer
Interactive Scores is a formalism for the design and performance of interactive scenarios that provides temporal relations (TRs) among the objects of the scenario. We can model TRs...
APN
2006
Springer
14 years 1 months ago
2006
Springer
A netchart is basically a Petri net whose places are located at some process and whose transitions are labeled by message sequence charts (MSCs). Two recent papers showed independe...
SERP
2007
13 years 11 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
FORTE
2004
13 years 11 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...