High Level Petri Nets
An Adaptive Method Based on High Level Petri Nets for E Learning
... knowledge level; 3) learner’s ...and petri net, and In order to provide adaptive learning, we use an approach based on a high level petri net ...
12
High Level Petri Nets as Type Theories in the Join Calculus
... and Petri nets may be beneficial for ...provide Petri nets with a compositional framework, together with behavioural semantics such as testing [10] and bisimulation ...of Petri ...
17
Qualifications of Petri nets for modeling of logistical systems
... (High-level Petri Nets) s významnou podtřídou barvených Petriho sítí (Coloured Petri Nets), v nichž je problém iden- tifikovatelnosti značek řešen jejich ...
6
Online Full Text
... a high dynamism, which should preserve the analysis capabilities of classical Petri ...Reflective Petri nets are provided in this paper with a (labeled) state-transition ...Colored ...
8
Volume 47: Graph Transformation and Visual Modeling Techniques 2012
... extending Petri nets by ...Coloured Petri nets (timed CPNs) [JK09], where the well-known high-level Petri net variant CPNs [Jen92] has been extended by assigning a ...
15
Some Fundamental Properties of Petri Nets
... There is the concept of having a Petri net within a net. i.e. the transitions can decompose into an entire system or network, similar ideas can be used for places which can be viewed as communication channels or ...
7
The Algebraic Structure of Petri Nets
... (PT) nets — though it would be interesting to explore to what extent these ideas and techniques can be lifted to classes of high-level ...PT nets form an important class is that they formalise ...
17
Parallel Simulation of Queueing Petri Nets
... lation would enable the timely analysis of larger and more accurate models. The second scenario is the use of QPNs to analyze design-oriented architecture-level performance mod- els, which describe a system with a ...
10
Petri nets as Executable Specifications of High-Level Timed Parallel Systems
... suitable for a parallel exeution mahine whih preserves the step sequene semantis of the nets and ensures time onsistent.. exeutions while taking into aount the soliitation of its environ[r] ...
11
On the Algebraic Structure of Petri Nets
... (PT) nets — though it would be interesting to explore to what extent these ideas and techniques can be lifted to classes of high-level ...PT nets form an important class is that they formalise ...
17
On the Semantics of Place/Transition Petri Nets
... A unification of the process-oriented and algebraic viewpoints has recently been proposed in (Degano et al. 1989; see also the related Sassone 1996; Sassone 1995) by showing that the commutative processes (Best and ...
36
Petri Nets and Other Models of Concurrency
... relate nets to other models for concurrency? Any model for concurrency is meant to model the behaviour of dis- tributed systems at a certain level of abstraction, focusing on certain aspects of the be- ...
56
The complexity of coverability in ν Petri nets
... unordered Petri data nets with the ability to create fresh data values, but in turn this ability can be simulated (as far as the coverability problem is concerned) by either ordered data Petri ...
11
Petri Nets—A Versatile Modeling Structure
... Timed Petri Nets (TPNs) associate a positive number s(T) to each transition ...in Petri nets was developed, relying on the classical Petri nets approach to a non-primitive event ...
11
Properties of Distributed Time Arc Petri Nets
... Abstract. In [12] we started a research on a distributed-timed exten- sion of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required ...
12
Stochastic Petri Nets for Wireless Networks
... Stochastic Petri Nets (SPNs), introduced in 1980, are a modeling formalism that can be conveniently used for the performance and reliability evaluation of discrete event ...
15
The Web service composition based on colored Petri net
... colored Petri net model of web service composition was put forward in this ...its Petri net which described in PNML( Petri net Markup Language) +OWL(Ontology Web Language) ,where PNML part describes ...
6
Towards a Notion of Distributed Time for Petri Nets
... [Yi90], Petri nets [Jan90], lossyvector addition systems [BM99], counter ma- chines [Jan97,AC98], real time systems [ACD90,AD90,AD94,LPY95] and many ...
9
A new paradigm for uncertain knowledge representation by Plausible Petri nets
... system level, their pragmatism is not suf- ficient when features of real-life systems like synchrony, concurrency, and complexity are considered in the ...using Petri nets (PNs) [5] ...system ...
23
From Task Graphs to Petri Nets
... Unfortunately, TGs need to be properly validated and verified. It is possible to construct TGs that have some mistakes in them. TGs share some similar properties with Petri nets as both are based on ...
7