1,933 Hits in 4.5 sec

Real-Time Synchronised Petri Nets [chapter]

Giovanna Di Marzo Serugendo, Dino Mandrioli, Didier Buchs, Nicolas Guelfi
2002 Lecture Notes in Computer Science  
2 3 2 Synchronised Petri nets • Bound by time interval in R + • Relative to time when transition becomes enabled Real-Time Synchronised Petri Nets Semantics How to deal with: • Merlin-Farber and Synchronisations  ...  and Semantics of Real-time Synchronised Petri Nets Towards: • Object-Oriented Real-Time Petri Nets True Operational Semantics already realised • first step towards reachability analysis Future Work •  ... 
doi:10.1007/3-540-48068-4_10 fatcat:6xapfbqucjbylf6wylcfdm5wim

Towards a Notion of Distributed Time for Petri Nets [chapter]

Mogens Nielsen, Vladimiro Sassone, Jiří Srba
2001 Lecture Notes in Computer Science  
We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling.  ...  The novelty is that, rather than a single global clock, we use a set of unrelated clocks -possibly one per place -allowing a local timing as well as distributed time synchronisation.  ...  As special instances we get local timed-arc Petri nets (LT nets) where no places are forced to synchronise, and global timed-arc Petri nets (GT nets) with full synchronisation.  ... 
doi:10.1007/3-540-45740-2_3 fatcat:e25csyz3rnbj5adrbpsaab5rou

Environment for the Development and Specification of Real-Time Ada Programs [chapter]

Apolinar González, Alfons Crespo
1999 Lecture Notes in Computer Science  
Each component has associated a High Level Time Petri Net and an Ada code which are composed to build a prototype and a design specification.  ...  In this paper we present an tool to design real-time control systems from a set of specific components. The tool provides a graphical interface to define component levels.  ...  Translating Ada components to High Level Timed Petri Nets (HLTPN) High-Level Timed Petri Nets have been chosen to validate the design of real-time systems by its simplicity and clear operational semantics  ... 
doi:10.1007/3-540-48753-0_11 fatcat:ifoxxlhh6rg5voqap45pjf4reu

Multiple vehicles mission coordination using Petri nets

Narcís Palomeras, Pere Ridao, Carlos Silvestre, Andres El-fakdi
2010 2010 IEEE International Conference on Robotics and Automation  
The resulting Petri nets implement the multi-vehicle mission control program that is responsible for coordinating in real-time the set of vehicles involved in the mission.  ...  Individual vehicle missions are defined by means of Petri nets and three constraints are added for coordination purposes: mutual exclusion, ordering and synchronisation.  ...  These Petri nets can be executed in real time on board each vehicle ensuring no deadlock and minimal communication between vehicles. VI.  ... 
doi:10.1109/robot.2010.5509552 dblp:conf/icra/PalomerasRSE10 fatcat:q2mkcqfslbgi7iolcumhtmjitm

Petri nets with causal time for system verification

C. Bui Thanh, H. Klaudel, F. Pommereau
2003 Electronical Notes in Theoretical Computer Science  
We present a new approach to the modelling of time constrained systems. It is based on untimed high-level Petri nets using the concept of causal time.  ...  In order to validate this approach as suitable for automated verification, a case study is provided and the results obtained using a model-checker on high-level Petri nets are compared with those obtained  ...  One can see that causal time differs from real time in many ways.  ... 
doi:10.1016/s1571-0661(04)80521-8 fatcat:fczw6kjbv5gtva6rkmx5dgcfnq

Properties of Distributed Timed-Arc Petri Nets [chapter]

Mogens Nielsen, Vladimiro Sassone, Jiří Srba
2001 Lecture Notes in Computer Science  
A distributed timed-arc Petri net (DTAPN) is a tuple N = (P, T, F, c, E, D), where (P, T, F ) is a Petri net and: -E ⊆ P × P is an equivalence relation on places (synchronisation relation), and use B(X  ...  Definition 1 (Distributed timed-arc Petri net).  ...  As special instances we get local timed-arc Petri nets (LT nets), where no synchronisations are forced, and global timed-arc Petri nets (GT nets), with full synchronisation.  ... 
doi:10.1007/3-540-45294-x_24 fatcat:227gspb5mbbljaxbrxnma6vuvy

Design of Petri Net-Based Cyber-Physical Systems Oriented on the Implementation in Field Programmable Gate Arrays

Remigiusz Wisniewski
2021 Energies  
Two design flows of the Petri net-based cyber-physical systems oriented towards implementation in an FPGA are presented in the paper.  ...  The control part of the cyber-physical system is specified by an interpreted Petri net, and is described directly in the synthesisable Verilog hardware language for further implementation in the programmable  ...  Obviously, such a modification can be a real challenge, especially in the case of relatively complex systems specified by a Petri net.  ... 
doi:10.3390/en14217054 fatcat:aa56h5c6kzgqtc5sdrczscmoay

Model checking object petri nets in prolog

Berndt Farwer, Michael Leuschel
2004 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '04  
Object Petri nets (OPNs) provide a natural and modular method for the modelling of many real-world systems.  ...  We give a structure-preserving translation of OPNs to Prolog, avoiding the need for an unfolding to a flat Petri net.  ...  The table does not include the time to compile the OPNs. But, even including the compile time of 0.72 s for the 5 task net, xtl + logen is still 1.88 times faster.  ... 
doi:10.1145/1013963.1013970 dblp:conf/ppdp/FarwerL04 fatcat:cu3femfirrfq5k5zlvj27fxiki

Design of Distributed Manufacturing Systems Using UML and Petri Nets

B. Bordbar, L. Giacomini, D.J. Holding
2000 IFAC Proceedings Volumes  
The approach adopted involves (i) using Petri net models instead of conventional Statecharts to provide analytic Dynamic Models; and (ii) using compositional Petri net techniques to synthesise the Interconnection  ...  The model of the complete controller can be then analysed and verified using Petri net theory. The approach is demonstrated by application to a prototype packaging machine. Copyright© 2000 IFAC  ...  The Simulink model is shown in figure 8 CONCLUSIONS This paper has presented an integrated approach to UML for modelling and analysing discrete event controllers for real-time manufacturing systems  ... 
doi:10.1016/s1474-6670(17)35455-1 fatcat:vn5qvmqbnnbndiuda42npz64si

Embedding time Petri nets

Maurice Comlan, David Delfieu, Medesu Sogbohossou, Antoine Vianou
2017 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT)  
Embedded, the TPN becomes partially non-autonomous and can be defined as a microcontroller Synchronised Time Petri net (mSTPN).  ...  This paper presents a tool (PN2A) which embeds Time Petri Nets (TPN) to Arduino micro-controller architecture.  ...  Connecting a T PN with a real environment, defines a non-autonomous Time Petri net : a microcontroller Synchronised Time Petri net (msT Pn).  ... 
doi:10.1109/codit.2017.8102625 dblp:conf/codit/ComlanDSV17 fatcat:353mpx32fzethnpc3zdyvxdcw4

YAWL: yet another workflow language

W.M.P. van der Aalst, A.H.M. ter Hofstede
2005 Information Systems  
However, some patterns (e.g. involving multiple instances, complex synchronisations or non-local withdrawals) are not easy to map onto (high-level) Petri nets.  ...  Languages based on Petri nets perform better when it comes to state-based workflow patterns.  ...  Therefore, we use the term high-level Petri nets to refer to Petri nets extended with colour, time and hierarchy.  ... 
doi:10.1016/ fatcat:u3g3jk6bunegbglgrvlq5fvi4q

Modelling Cyber Physical Social Systems Using Dynamic Time Petri Nets [chapter]

Shabnam Pasandideh, Luis Gomes, Pedro Maló
2018 IFIP Advances in Information and Communication Technology  
Petri nets models, augmented with dynamic time dependencies associated with transitions, are applied in a case study, and validated as a promising tool for modelling and analysis of these kind of systems  ...  This paper presents a Petri nets based strategy supporting behavioural modelling as well as performance analysis of Cyber-Physical-Social Systems (CPSSs) covering uncertainty situations when the social  ...  time attribute (extending Time Petri nets common execution semantics).  ... 
doi:10.1007/978-3-319-78574-5_8 fatcat:rimvcfglcnc3tieyxfs7uqjw7y

A Programming Language for Spatial Distribution of Net Systems [chapter]

Paweł Sobociński, Owen Stephens
2014 Lecture Notes in Computer Science  
Petri nets famously expose concurrency directly in their statespace.  ...  Concretely, we introduce a high-level domain specific language (DSL), PNBml, for the construction of nets in terms of their components.  ...  expressing a system as an explicit network of synchronised Petri nets.  ... 
doi:10.1007/978-3-319-07734-5_9 fatcat:pk57pq3axngsdmtspj36mgcdiy

A New Tool for Modular Modelling: The Generalised and Synchronised Stochastic Petri Nets [chapter]

O. Daniel, Z. Simeu-Abazi, B. Descotes-Genon
1995 Integrated Manufacturing Systems Engineering  
To contain this explosion we are interested in modular modelling This paper deals with a new tool call Generalised and Synchronised Stochastic Petri Nets (GS2PNs).  ...  The association between Stochastic Petri Nets and Markov chains constitute a powerful tool to perform a manufacturing system analysis.  ...  and synchronised transitions.• Tts={ timed and synchronised transitions}.  ... 
doi:10.1007/978-0-387-34919-0_13 fatcat:32ti7sin2jc5rocr3kn7huqcae

Petri net-based semantics for verification and validation of workflow patterns

Ahmed Nait Sidi Moh
2013 International Journal of Services Operations and Informatics  
To address this issue, this paper provides a mapping from activities to Petri net models. Formalisations basing on UML and Petri nets of control-flow patterns for service composition are addressed.  ...  UML can be used to model web services interactions and reengineered diagrams using Petri nets like semantics instead of state machines.  ...  Petri Nets).  ... 
doi:10.1504/ijsoi.2013.059355 fatcat:xkpftfcqjfgjjl66m7avept7cm
« Previous Showing results 1 — 15 out of 1,933 results