Filters








753 Hits in 3.1 sec

A Categorical Semantics for Guarded Petri Nets [article]

Fabrizio Genovese, David I. Spivak
2020 arXiv   pre-print
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards.  ...  Using the Grothendieck construction, we show how the guard semantics can be internalized in the net itself.  ...  A Petri net with 1-semantics is just a Petri net.  ... 
arXiv:2002.02762v2 fatcat:ecowmskeejb3pijalaocrojcnm

A Categorical Semantics for Guarded Petri Nets [chapter]

Fabrizio Genovese, David I. Spivak
2020 Lecture Notes in Computer Science  
We build on the correspondence between Petri nets and free symmetric strict monoidal categories already investigated in the literature, and present a categorical semantics for Petri nets with guards.  ...  Using the Grothendieck construction, we show how the guard semantics can be internalized in the net itself.  ...  Fabrizio Genovese wants to thank his fellow team members at Statebox for useful discussion and support.  ... 
doi:10.1007/978-3-030-51372-6_4 fatcat:35qykkobvzew7gfigdkep436di

Page 8889 of Mathematical Reviews Vol. , Issue 2000m [page]

2000 Mathematical Reviews  
In the present paper we give a new definition of causal semantics in terms of event nets for Petri nets with contacts that gives a clearer graphical representation of a parallel process than Smith’s and  ...  A. (RS-AOS-PG; Pereslavl’ Zalesskiy) Causal semantics for Petri nets with contacts. (Russian. Russian summary) Programmirovanie 1999, no. 4, 43-53; translation in Program. Comput.  ... 

A Categorical Semantics for Bounded Petri Nets [article]

Fabrizio Genovese, Fosco Loregian, Daniele Palombi
2021 arXiv   pre-print
We provide a categorical semantics for bounded Petri nets, both in the collective- and individual-token philosophy.  ...  In both cases, we describe the process of bounding a net internally, by just constructing new categories of executions of a net using comonads, and externally, using lax-monoidal-lax functors.  ...  A video presentation of this paper can be found on Youtube at mv4dyTNgz60.  ... 
arXiv:2101.09100v2 fatcat:zfdgztliujckxevuprwwdzusbm

Page 4635 of Mathematical Reviews Vol. , Issue 2003f [page]

2003 Mathematical Reviews  
We introduce the notion of pre-nets to overcome this, obtaining a fully satisfactory categorical treatment, where the operational semantics of nets yields an adjunction.  ...  Then, the same kind of translation is used for coloured nets with a finite unfolding (and without disposable transitions), and for various other kinds of high level nets, like linear logic Petri nets (  ... 

Factorization Properties of Symbolic Unfoldings of Colored Petri Nets [chapter]

Thomas Chatain, Eric Fabre
2010 Lecture Notes in Computer Science  
The unfolding technique is an efficient tool to explore the runs of a Petri net in a true concurrency semantics, i.e. without constructing all the interleavings of concurrent actions.  ...  We show that the symbolic unfolding of a product of colored Petri nets can be expressed as the product of the symbolic unfoldings of these nets.  ...  Closer to our work, [18] defines a partial order semantics for Petri net components that communicate via interface places with an environment.  ... 
doi:10.1007/978-3-642-13675-7_11 fatcat:wz4dxe5u6zc6xhbsrijntmlvwu

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems

Simon Tjell
2007 2007 International Symposium on Industrial Embedded Systems  
A prototypical tool has been implemented for performing the structural analysis of Coloured Petri Net models and the principles of this tool is described.  ...  This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language Coloured Petri Net.  ...  The authors argue that the standard semantics for Petri Nets is not suitable for modeling a workflow system by a composite model.  ... 
doi:10.1109/sies.2007.4297341 dblp:conf/sies/Tjell07 fatcat:pysumiaiivgchfzqtxql7g4vky

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001 Electronical Notes in Theoretical Computer Science  
In particular, we investigate the use of rewriting logic, which was partially inspired by the two aforementioned approaches, as a unifying semantic framework for different Petri net models.  ...  To this end, we equip place/transition nets with a rewriting semantics which is sound and complete in the strong categorical sense of a natural isomorphism between the Best-Devillers process semantics  ...  Furthermore, we would like to thank Roberto Bruni, Narciso Martí-Oliet, Rüdiger Valk and the referees for their constructive criticism and many helpful suggestions.  ... 
doi:10.1016/s1571-0661(04)80949-6 fatcat:tbwnoo4xwvb35mhanuanynffem

Using IDEF0/Petri Net for Ontology-Based Task Knowledge Analysis: The Case of Emergency Response for Debris-Flow

Wen-Yu Liu, Kwoting Fang
2006 Proceedings of the 39th Annual Hawaii International Conference on System Sciences (HICSS'06)  
IDEF0 and Petri net.  ...  First, it adopted the theory of task ontology to build up a three-level mediating representation for a task analysis, and the task of "emergency response for Debris-flow" served as an example.  ...  interchange format for Petri nets.  ... 
doi:10.1109/hicss.2006.523 dblp:conf/hicss/LiuF06 fatcat:2z7itluq4rf5faztky3jnay63a

A Petri Net Interpretation of Open Reconfigurable Systems [chapter]

Frédéric Peschanski, Hanna Klaudel, Raymond Devillers
2011 Lecture Notes in Computer Science  
We demonstrate that the pi-graphs and their translated Petri nets agree at the semantic level.  ...  We present a Petri net interpretation of the pi-graphs -a graphical variant of the pi-calculus.  ...  In the first case, a reachability analysis of the semantics of a given term is performed, and a Petri net is synthesized from this. In the second case, a Petri net is built directly from the syntax.  ... 
doi:10.1007/978-3-642-21834-7_12 fatcat:juvfzdwvyjhm7cn6kaagwo554q

Axiomatizing CCS, nets and processes

Nicoletta De Francesco, Ugo Montanari, Daniel Yankelevich
1993 Science of Computer Programming  
Our proposal unifies the models of PDLs and Petri nets in a common specification framework.  ...  Starting with the description of a system as a CCS agent, we obtain automatically, by means of axioms, its representation as a Petri net.  ...  CCS and Petri nets In this subsection we recall some proposals for a truly concurrent operational semantics of CCS using Petri nets.  ... 
doi:10.1016/0167-6423(93)90010-m fatcat:2qy736tnifbvdbyfyocr4eo3ku

An Integrated Approach for Modeling Ontology-Based Task Knowledge on an Incident Command System

Kwoting Fang, Shuoche Lin
2019 Sustainability  
This paper presents the TTIPP methodology, an integration of task analysis, task ontology, integration definition function modeling (IDEF0), Petri net, and Petri net mark language (PNML), to organize and  ...  The proposed model overcomes the drawbacks of IDEF0, which are its static nature and Petri net which has no concept of hierarchy.  ...  Author Contributions: K.F. developed the concept of the TTIPP methodology, analyzed the task, developed the task ontology, built the IDEFO and Petri Net model, transferred the PNML.  ... 
doi:10.3390/su11123484 fatcat:njuslncfb5fhnhim5i7hma2k3y

Quasar: A New Tool for Concurrent Ada Programs Analysis [chapter]

Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
2003 Lecture Notes in Computer Science  
Concurrency introduces a high degree of combinatory which may be the source of subtle mistakes. We present a new tool, Quasar, which is based on ASIS and which uses fully the concept of patterns.  ...  The analysis of a concurrent Ada program by our tool proceeds in four steps: automatic extraction of the concurrent part of the program; translation of the simplified program into a formal model using  ...  In both cases, the aim is to map the semantic of a program from a particular formalism towards another formalism. High-level Petri nets (with inhibitor arcs) and Ada have the same expressiveness.  ... 
doi:10.1007/3-540-44947-7_12 fatcat:lxxub6g42bdkngntqzmxb5a2qa

Mashups and widget orchestration

Ahmet Soylu, Fridolin Wild, Felix Mödritscher, Piet Desmet, Serge Verlinde, Patrick De Causmaecker
2011 Proceedings of the International Conference on Management of Emergent Digital EcoSystems - MEDES '11  
techniques, along with Petri nets as a formal ground, for user-behavior mining.  ...  We introduce functional interfaces (FWI) for application interoperability, exploit semantic web technologies for data interoperability, and investigate the possibility of employing workflow/process mining  ...  along with Petri nets as a formal ground, for user-behavior mining.  ... 
doi:10.1145/2077489.2077532 dblp:conf/medes/SoyluWMDVC11 fatcat:34haxyyh7feabo4wmvnfmbngn4

Rewriting Logic as a Unifying Framework for Petri Nets [chapter]

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky
2001 Lecture Notes in Computer Science  
We propose rewriting logic as a unifying framework for a wide range of Petri nets models.  ...  Beyond the conceptual unification of quite different kinds of Petri nets within a single framework, the rewriting semantics can provide a guide for future extensions of Petri nets and help to cope with  ...  Furthermore, we would like to thank Roberto Bruni, Narciso Martí-Oliet, Rüdiger Valk and the referees for their constructive criticism and many helpful suggestions.  ... 
doi:10.1007/3-540-45541-8_9 fatcat:2o6l3kv5prer3lkebjev7viejy
« Previous Showing results 1 — 15 out of 753 results