Power estimation of sequential circuits using hierarchical colored hardware petri net modeling
Proceedings of the 2002 international symposium on Low power electronics and design
Electronic Notes in Theoretical Computer Science (ENTCS)
OPENET: Ontology-based engine for high-level Petri nets
Expert Systems with Applications: An International Journal
User-configurable semantic home automation
Computer Standards & Interfaces
Workflow simulation for operational decision support using event graph through process mining
Decision Support Systems
Coloured Petri net modelling of the ODP Trader for use in resource discovery
Computer Communications
Petri net-based engine for adaptive learning
Expert Systems with Applications: An International Journal
Concurrency and Computation: Practice & Experience
| Hi-index | 0.00 |
This three-volume work presents a coherent description of the theoretical and practical aspects of coloured Petri nets. These CP-nets are shown to be a full-fledged language for the design, specification, simulation, validation and implementation of large software systems.The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.