The SCEAS System
Navigation Menu

Conferences in DBLP

Applications and Theory of Petri Nets (ICATPN/APN) (apn)
2008 (conf/apn/2008)


  1. Challenges and Opportunities for Formal Specifications in Service Oriented Architectures. [Citation Graph (, )][DBLP]


  2. Modeling Interactions between Biochemical Reactions. [Citation Graph (, )][DBLP]


  3. Transaction Calculus. [Citation Graph (, )][DBLP]


  4. Stratifying Winning Positions in Parity Games. [Citation Graph (, )][DBLP]


  5. On the Physical Basics of Information Flow. [Citation Graph (, )][DBLP]


  6. Faster Unfolding of General Petri Nets Based on Token Flows. [Citation Graph (, )][DBLP]


  7. Decomposition Theorems for Bounded Persistent Petri Nets. [Citation Graph (, )][DBLP]


  8. Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. [Citation Graph (, )][DBLP]


  9. Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets. [Citation Graph (, )][DBLP]


  10. A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. [Citation Graph (, )][DBLP]


  11. Synthesis of Nets with Step Firing Policies. [Citation Graph (, )][DBLP]


  12. Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets. [Citation Graph (, )][DBLP]


  13. Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks. [Citation Graph (, )][DBLP]


  14. Formal Specification and Validation of Secure Connection Establishment in a Generic Access Network Scenario. [Citation Graph (, )][DBLP]


  15. Parametric Language Analysis of the Class of Stop-and-Wait Protocols. [Citation Graph (, )][DBLP]


  16. Hierarchical Set Decision Diagrams and Automatic Saturation. [Citation Graph (, )][DBLP]


  17. Performance Evaluation of Workflows Using Continuous Petri Nets with Interval Firing Speeds. [Citation Graph (, )][DBLP]


  18. Modelling Concurrency with Quotient Monoids. [Citation Graph (, )][DBLP]


  19. Labeled Step Sequences in Petri Nets. [Citation Graph (, )][DBLP]


  20. MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs. [Citation Graph (, )][DBLP]


  21. Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). [Citation Graph (, )][DBLP]


  22. A Practical Approach to Verification of Mobile Systems Using Net Unfoldings. [Citation Graph (, )][DBLP]


  23. Cooperative Arrival Management in Air Traffic Control - A Coloured Petri Net Model of Sequence Planning. [Citation Graph (, )][DBLP]


  24. Process Discovery Using Integer Linear Programming. [Citation Graph (, )][DBLP]


  25. Synthesis of Petri Nets from Scenarios with VipTool. [Citation Graph (, )][DBLP]


  26. A Monitoring Toolset for Paose. [Citation Graph (, )][DBLP]


  27. Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models. [Citation Graph (, )][DBLP]


  28. HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002