Results 1 - 10 of 168

The Petri Net API A collection of Petri net-related functions

by Niels Lohmann, Stephan Mennicke, Christian Sura
"... Abstract. This paper introduces the Petri Net API, a C++ library of Petri net-related functions. The Petri Net API is currently used in more than a dozen Petri net tools, ranging from compilers to verification tools. 1 ..."
Abstract - Cited by 4 (3 self) - Add to MetaCart
Abstract. This paper introduces the Petri Net API, a C++ library of Petri net-related functions. The Petri Net API is currently used in more than a dozen Petri net tools, ranging from compilers to verification tools. 1

Petri Net + Nested Relational Calculus =

by Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Jerzy Tyszkiewicz
"... Abstract. In this paper we propose a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated and the structure of the manipulated data is reflected in the structure of the workflow. It is a common extension of – Petri nets, which are res ..."
Abstract - Add to MetaCart
Abstract. In this paper we propose a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated and the structure of the manipulated data is reflected in the structure of the workflow. It is a common extension of – Petri nets, which

Petri Nets and Priorities

by Falko Bause, Informatik Iv
"... . Priority specifications offer a convenient description technique to resolve conflicts in favour of particular actions. Besides specifying the functional behaviour of a system, priorities have also become important in the field of performance analysis using stochastic Petri nets, where priorities a ..."
Abstract - Add to MetaCart
. Priority specifications offer a convenient description technique to resolve conflicts in favour of particular actions. Besides specifying the functional behaviour of a system, priorities have also become important in the field of performance analysis using stochastic Petri nets, where priorities

Biopathways Representation and Simulation on Hybrid Functional Petri Net

by Hiroshi Matsuno, Hitoshi Aoshima, Atsushi Doi, Yukiko Tanaka, Mika Matsui, Satoru Miyano - SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
"... The following two matters should be resolved for biosimulation tools in order to be accepted by users in biology/medicine; (1) Remove issues which are irrelevant to biological importance, and (2) Allow users to represent biopathways intuitively and understand/manage easily the details of representa ..."
Abstract - Cited by 62 (9 self) - Add to MetaCart
of representation and simulation mechanism. From these criteria, we firstly define a novel notion of Petri net called hybrid functional Petri net (HFPN). Then, we introduce a software tool, Genomic Object Net, for representing and simulating biopathways, which we have developed by employing the architecture of HFPN

Symbolic analysis of bounded Petri nets

by Enric Pastor, Jordi Cortadella, Oriol Roig - IEEE Tran. on Computers , 2001
"... AbstractÐThis work presents a symbolic approach for the analysis of bounded Petri nets. The structure and behavior of the Petri net is symbolically modeled by using Boolean functions, thus reducing reasoning about Petri nets to Boolean calculation. The set of reachable markings is calculated by symb ..."
Abstract - Cited by 13 (1 self) - Add to MetaCart
AbstractÐThis work presents a symbolic approach for the analysis of bounded Petri nets. The structure and behavior of the Petri net is symbolically modeled by using Boolean functions, thus reducing reasoning about Petri nets to Boolean calculation. The set of reachable markings is calculated

Observation Equivalence of Petri Net Generators

by Yin Tong, Zhiwu Li, Ro Giua
"... In the framework of discrete event systems, the observation of events is considered as outputs in most problem settings, such as state estimation and fault diagnosis, while only a few studies exploit the availability of partial state information. In this paper, equivalent relations between Petri net ..."
Abstract - Add to MetaCart
nets with different observation structures, i.e., Petri net generators, are discussed. We focus on a model called labeled Petri nets with outputs (LPNO), i.e., labeled Petri nets endowed with an arbitrary observation function of the marking. It has been shown that any LPNO can be converted

TWO POLYGRAPHIC PRESENTATIONS OF PETRI NETS

by Yves Guiraud , 2005
"... Abstract: This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them. The first one sees places as generators of a commutative monoid and transitions as rewriting rules on it: this setting is ..."
Abstract - Cited by 6 (0 self) - Add to MetaCart
about Petri nets, describe their representations and associate them reduction graphs, equipped with a relation that identifies paths that intuitively represent the same

Performance analysis using coloured Petri nets

by Lisa Wells - the proceedings of the Tenth IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS’02 , 2002
"... This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between mod ..."
Abstract - Cited by 14 (1 self) - Add to MetaCart
This paper provides an overview of improved facilities for performance analysis using coloured Petri nets. Coloured Petri nets is a formal method that is well suited for modeling and analyzing large and complex systems. The paper describes steps that have been taken to make a distinction between

Colored Petri nets to model and simulate biological systems

by Fei Liu, Monika Heiner - In International Workshop on Biological Processes and Petri , 2010
"... Abstract. Petri nets have become an effective formalism to model bi-ological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult to manag ..."
Abstract - Cited by 10 (4 self) - Add to MetaCart
Abstract. Petri nets have become an effective formalism to model bi-ological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult

Configuration Structures, Event Structures and Petri Nets

by R.J. van Glabbeek, G. D. Plotkin
"... In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive powe ..."
Abstract - Cited by 12 (1 self) - Add to MetaCart
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the collective token interpretation. To this end we propose a more general form of event structure, matching the expressive
Results 1 - 10 of 168