default search action

combined dblp search
author search
venue search
publication search

ask others

Lectures on Concurrency and Petri Nets 2003: Eichstätt, Germany

> Home > Conferences and Workshops

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/ac/2003pn
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/2003pn
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg:
Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichstätt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned]. Lecture Notes in Computer Science 3098, Springer 2004, ISBN 3-540-22261-8
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Aalst03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Aalst03
Wil M. P. van der Aalst:
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management. 1-65
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BarakHM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BarakHM03
Dan Barak, David Harel, Rami Marelly:
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming. 66-86
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BengtssonY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BengtssonY03
Johan Bengtsson, Wang Yi:
Timed Automata: Semantics, Algorithms and Tools. 87-124
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BernardiBD03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BernardiBD03
Simona Bernardi, Andrea Bobbio, Susanna Donatelli:
Petri Nets and Dependability. 125-179
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BestK03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BestK03
Eike Best, Maciej Koutny:
Process Algebra: A Petri-Net-Oriented Tutorial. 180-209
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BillingtonGH03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BillingtonGH03
Jonathan Billington, Guy Edward Gallasch, Bing Han:
A Coloured Petri Net Approach to Protocol Verification. 210-290
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BruniMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BruniMM03
Roberto Bruni, Hernán C. Melgratti, Ugo Montanari:
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets. 291-327
- view
  authority control:
- export record
  dblp key:
  - conf/ac/BusiG03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/BusiG03
Nadia Busi, Roberto Gorrieri:
A Survey on Non-interference with Petri Nets. 328-344
- view
  authority control:
- export record
  dblp key:
  - conf/ac/CarmonaCKY03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/CarmonaCKY03
Josep Carmona, Jordi Cortadella, Victor Khomenko, Alexandre Yakovlev:
Synthesis of Asynchronous Hardware from Petri Nets. 345-401
- view
  authority control:
- export record
  dblp key:
  - conf/ac/ChristensenJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/ChristensenJ03
Søren Christensen, Jens Bæk Jørgensen:
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. 402-412
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Darondeau03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Darondeau03
Philippe Darondeau:
Unbounded Petri Net Synthesis. 413-438
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DenaroP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DenaroP03
Giovanni Denaro, Mauro Pezzè:
Petri Nets and Software Engineering. 439-466
- view
  authority control:
- export record
  dblp key:
  - conf/ac/DeselMN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/DeselMN03
Jörg Desel, Vesna Milijic, Christian Neumair:
Model Validation in Controller Design. 467-495
- view
  authority control:
- export record
  dblp key:
  - conf/ac/EhrigP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/EhrigP03
Hartmut Ehrig, Julia Padberg:
Graph Grammars and Petri Net Transformations. 496-536
- view
  authority control:
- export record
  dblp key:
  - conf/ac/GenestMP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/GenestMP03
Blaise Genest, Anca Muscholl, Doron A. Peled:
Message Sequence Charts. 537-558
- view
  authority control:
- export record
  dblp key:
  - conf/ac/HeckelV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/HeckelV03
Reiko Heckel, Hendrik Voigt:
Model-Based Development of Executable Business Processes for Web Services. 559-584
- view
  authority control:
- export record
  dblp key:
  - conf/ac/JuhasLN03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/JuhasLN03
Gabriel Juhás, Robert Lorenz, Christian Neumair:
Modelling and Control with Modules of Signal Nets. 585-625
- view
  authority control:
- export record
  dblp key:
  - conf/ac/KristensenJJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/KristensenJJ03
Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen:
Application of Coloured Petri Nets in System Development. 626-685
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Milner03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Milner03
Robin Milner:
Bigraphs for Petri Nets. 686-701
- view
  authority control:
- export record
  dblp key:
  - conf/ac/NielsenV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/NielsenV03
Mogens Nielsen, Frank D. Valencia:
Notes on Timed Concurrent Constraint Programming. 702-741
- view
  authority control:
- export record
  dblp key:
  - conf/ac/RecaldeSET03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/RecaldeSET03
Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel:
Petri Nets and Manufacturing Systems: An Examples-Driven Tour. 742-788
- view
  authority control:
- export record
  dblp key:
  - conf/ac/RoychoudhuryT03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/RoychoudhuryT03
Abhik Roychoudhury, P. S. Thiagarajan:
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems. 789-818
- view
  authority control:
- export record
  dblp key:
  - conf/ac/Valk03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ac/Valk03
Rüdiger Valk:
Object Petri Nets: Using the Nets-within-Nets Paradigm. 819-848

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.