Filters








2,601 Hits in 3.9 sec

Petri Nets Repository: A Tool to Benchmark and Debug Petri Net Tools [chapter]

Lom Messan Hillah, Fabrice Kordon
2017 Lecture Notes in Computer Science  
It offers two main ways to navigate through the benchmark using criteria related to Petri net properties: a Web interface, and a Web service API (REST).  ...  The goal of this paper is to present Petri Nets Repository, an open Petri nets models database.  ...  The authors thank Hubert Garavel for his helpful advice during the design of Petri Net Repository.  ... 
doi:10.1007/978-3-319-57861-3_9 fatcat:uq7mnr55dvc7fi3hivoii6wkly

Component-based synthesis for complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 SIGPLAN notices  
The key novelty of our approach is the use of a compact Petri-net representation to model relationships between methods in an API.  ...  Given a target method signature S, our approach performs reachability analysis on the underlying Petri-net model to identify sequences of method calls that could be used to synthesize an implementation  ...  The views, opinions, and findings contained in this paper are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S.  ... 
doi:10.1145/3093333.3009851 fatcat:kezp55zfhvgzfmelo36fsahupe

Component-based synthesis for complex APIs

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps
2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages - POPL 2017  
The key novelty of our approach is the use of a compact Petri-net representation to model relationships between methods in an API.  ...  Given a target method signature S, our approach performs reachability analysis on the underlying Petri-net model to identify sequences of method calls that could be used to synthesize an implementation  ...  The views, opinions, and findings contained in this paper are those of the authors and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S.  ... 
doi:10.1145/3009837.3009851 fatcat:h5t5u6fhejfprf3soxqknu4vga

SNAKES: A Flexible High-Level Petri Nets Library (Tool Paper) [chapter]

Franck Pommereau
2015 Lecture Notes in Computer Science  
Thanks to a variety of plugins, snakes can handle extensions of Petri nets, in particular algebras of Petri nets [4, 26] . snakes ships with a compiler for the abcd language that is precisely such an algebra  ...  It defines a very general variant of Python-coloured Petri nets that can be created and manipulated through the library, as well as executed to explore state spaces.  ...  space of a Petri net.  ... 
doi:10.1007/978-3-319-19488-2_13 fatcat:qygxbidtzbbm7dml4t7u5otx3i

The Petri Net Baukasten

J. Dehnert, M. Gajewsky, S. Lembke, H. Weber
2001 Electronical Notes in Theoretical Computer Science  
It aims at the development of a support environment for the use of Petri nets in new applications including theoretical and tool aspects.  ...  Petri nets are a subject of interest to researchers since more than 30 years.  ...  The development of the Petri net Baukasten has been a major task, which has been achieved by an intensive cooperation among the members of the DFG-Forschergruppe.  ... 
doi:10.1016/s1571-0661(04)80948-4 fatcat:pbdkaxntqfbptbm6oxqrpalfii

The Petri Net Baukasten of the DFG Forschergruppe PETRI NET TECHNOLOGY [chapter]

H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert, M. Weber, A. Martens, J. Padberg, C. Ermel, A. Qemali
2003 Lecture Notes in Computer Science  
In the long history of Petri nets a universe of Petri nets has evolved consisting of an enormously rich theory, a wide variety of tools, and numerous successful applications and case studies in various  ...  This vast variety is not any more handable for anyone working with Petri nets, which results in the strong need of a structured access to Petri nets.  ...  Opening a modeling related checklist the user may take his/her choice between a combination out of functional, data/document, roles, resource and time aspects.  ... 
doi:10.1007/978-3-540-40022-6_1 fatcat:27wlccjgkbbvhlzoilpyzizhyu

On the Optimal Petri Net Representation for Service Composition

Yin Wang, Ahmed Nazeem, Ram Swaminathan
2011 2011 IEEE International Conference on Web Services  
Then based on the special requirements of the composition representation, we develop our own Petri net synthesis algorithm that combines the benefits of two well known algorithms from the theory of regions  ...  In this paper, we show how theory of regions, which was originally developed to derive Petri nets from finite state automata, can be applied to find the optimal representation of composition.  ...  The Petri net (P, Π, A,W, M 0 ) is unlabeled. We can add set Ψ of labels and labeling function L : Π → Ψ.  ... 
doi:10.1109/icws.2011.40 dblp:conf/icws/WangNS11 fatcat:wpd6qtsievevfdsbi5x2b6nhj4

Automatic Code Generation from Nested Petri nets to Event-based Systems on the Telegram Platform
Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram

D.I. Samokhvalov, L.W. Dworzanski
2016 Proceedings of the Institute for System Programming of RAS  
Nested Petri net formalisms is an extension of coloured Petri net formalism that uses Petri Nets as tokens.  ...  The suggested approach is illustrated by the example annotated model of a search and rescue coordination system.  ...  A nested Petri net is a tuple = ( , , , , ( 1 , … , )), where  = ∪ a set of atoms;  is a set of transition labels;  ( 1 , … , ), where ≥ 1a finite collection of P/T-nets, called element nets;  = (  ... 
doi:10.15514/ispras-2016-28(3)-5 fatcat:237m3kc2s5ejzli2pavsytgyde

Agraphs: Definition, implementation and tools

David Déharbe, Anamaria Martins Moreira, Demóstenes Sena
2007 Electronic Communications of the EASST  
These different features are illustrated on an instance of Agraphs for modular Petri nets.  ...  In the same vein as XML, Agraphs form a general data representation mechanism that needs to be instantiated in different specific applications.  ...  Moreover, in some languages, collections of related modules can be grouped into libraries.  ... 
doi:10.14279/tuj.eceasst.1.81 dblp:journals/eceasst/DeharbeMS06 fatcat:oo67pmirpbefhpszuhwgsovdym

A Formal Model for Quality-Driven Decision Making in Self-Adaptive Systems

Fatma Kachi, Chafia Bouanaka, Souheir Merkouche
2020 Electronic Proceedings in Theoretical Computer Science  
We combine high-level Petri nets and plausible Petri nets in order to model complex data structures enabling system quality attributes quantification and to improve the decision-making process through  ...  They are also largely adopted to analyze and provide guarantees on the required functional/non-functional properties of self-adaptive systems.  ...  The API is a set of primitives that allow reading as well as modifying the Petri nets of the monitored layer.  ... 
doi:10.4204/eptcs.329.5 fatcat:4a3vwvmrwrb63hlgjdcmfum6wq

BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes

Junhui Gao, Li Li, Xiaolin Wu, Dong-Qing Wei
2012 Protein & Cell  
BioNetSim, a Petri net-based software for modeling and simulating biochemistry processes, is developed, whose design and implement are presented in this paper, including logic construction, real-time access  ...  analysis, such as computation of constants. (4) It generates graphs for tracing the concentration of every molecule during the simulation processes.  ...  Specifically, Petri net is a triple N = (P, T, F) where: P is a set of states, called places; T is a set of transitions; F where F ⊂ (P × T) ∪ (T × P) is a set of flow relations called "arcs" between places  ... 
doi:10.1007/s13238-012-2019-4 pmid:22410784 pmcid:PMC4875423 fatcat:rbyzlcc3lbafnig3pmqsqhdnqu

Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems [chapter]

Didier Buchs, Stefan Klikovits, Alban Linard
2020 Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems  
Finally, we show the use of so-called High-level Petri nets for the representation of complex data structures and functionality and present a novel research approach that allows the use of Petri nets inside  ...  This chapter provides a pragmatic introduction to the creation and analysis of such system models using the popular Petri nets formalism.  ...  However, in situations where a Petri net has more than one fireable transitions at a given state, the evolution function of the FMI API (doStep) cannot yield a deterministic result.  ... 
doi:10.1007/978-3-030-43946-0_7 fatcat:6plbwq36cbbsxont3v3dbblm44

Straightforward Petri Net-based Event Log Generation in ProM

Seppe K.L.M. Vanden Broucke, Jan Vanthienen, Bart Baesens
2014 Social Science Research Network  
logs (a collection of execution traces) based on a user-supplied Petri net in a straightforward manner, which would be a helpful addition within the research area of process mining, as this research eld  ...  Although a large number of tools already exist for the simulation and analysis of Petri nets (CPN Tools being among the most notable), no technique exists which allows for the rapid generation of event  ...  We would like to thank the KU Leuven research council for nancial support under grant OT/10/010 and the Flemish Research Council for nancial support under Odysseus grant B.0915.09.  ... 
doi:10.2139/ssrn.2489051 fatcat:xpnq3l7so5byzpyvzkjazsfe7i

A Meta-Model Based Approach for Definition of a Multi-Formalism Modeling Framework

Hamid Mohammad Gholizadeh, Mohammad Abdollahi Azgomi
2009 Journal of clean energy technologies  
In this paper, we propose a meta-modeling approach for definition of a multi-formalism modeling framework for Petri nets and related formal modeling languages.  ...  The proposed framework and the related software tool facilitate the inclusion of formalisms in the framework in a unified manner.  ...  , such as extensions of Petri nets.  ... 
doi:10.7763/ijcte.2010.v2.121 fatcat:o47z5lo23zetbfmpavck2pqndm

LINQ as Model Tansformation Language for MDD

Audris Kalnins, Elina Kalnina, Agris Sostaks, Edgars Celms, Ivans Tabernakulovs
2016 Baltic Journal of Modern Computing  
One of the obstacles for MDD adoption in industry has been the reluctance of practitioners to learn a new language.  ...  However, recently it got a revival in the form of Domain Specific Languages, this again stimulated the research and usage of transformation languages.  ...  In addition, authors would like to thank Sergejs Kozlovics for valuable consultations on the details of RA API.  ... 
doi:10.22364/bjmc.2016.4.4.21 fatcat:6bztgdcnsnewjjrgqiap3zk22u
« Previous Showing results 1 — 15 out of 2,601 results