Lecture Notes in Computer Science - Transactions on Petri Nets and Other Models of Concurrency IX
Latest Publications

TOTAL DOCUMENTS

8
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662457290, 9783662457306
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Tissue Systems and Petri Net Synthesis

2014 ◽  
pp. 124-146
Author(s):  
Jetty Kleijn ◽  
Maciej Koutny ◽  
Marta Pietkiewicz-Koutny
Keyword(s):  
Petri Net ◽  
Tissue Systems ◽  
Petri Net Synthesis

Modeling Organizational Structures and Agent Knowledge for Mulan Applications

2014 ◽  
pp. 62-82 ◽  
Author(s):  
Lawrence Cabac ◽  
David Mosteller ◽  
Matthias Wester-Ebbinghaus
Keyword(s):  
Organizational Structures ◽  
Agent Knowledge

scholarly journals A Canonical Contraction for Safe Petri Nets

2014 ◽  
pp. 83-98 ◽  
Author(s):  
Thomas Chatain ◽  
Stefan Haar
Keyword(s):  
Petri Nets

scholarly journals Modeling Distributed Private Key Generation by Composing Petri Nets

2014 ◽  
pp. 19-40
Author(s):  
Luca Bernardinello ◽  
Görkem Kılınç ◽  
Elisabetta Mangioni ◽  
Lucia Pomello
Keyword(s):  
Petri Nets ◽  
Key Generation ◽  
Private Key

scholarly journals Symbolic Termination and Confluence Checking for ECA Rules

2014 ◽  
pp. 99-123 ◽  
Author(s):  
Xiaoqing Jin ◽  
Yousra Lembachar ◽  
Gianfranco Ciardo
Keyword(s):  
Eca Rules

Software Engineering with Petri Nets: A Web Service and Agent Perspective

2014 ◽  
pp. 41-61 ◽  
Author(s):  
Tobias Betz ◽  
Lawrence Cabac ◽  
Michael Duvigneau ◽  
Thomas Wagner ◽  
Matthias Wester-Ebbinghaus
Keyword(s):  
Software Engineering ◽  
Petri Nets ◽  
Web Service
Load More ...
Sign in / Sign up

Export Citation Format

Share Document