Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,956,462 papers from all fields of science
Search
Sign In
Create Free Account
Petri Nets
Known as:
International Conference on Application and Theory of Petri Nets and Concurrency
, Petri Nets Conference
, Petri net conference
Petri Nets, the International Conference on Applications and Theory of Petri Nets and Concurrency is an academic conference organized annually by the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Lecture Notes in Computer Science
List of computer science conferences
Petri net
Theoretical computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Defining Domain Specific Operational Semantics for Activity Diagrams
Christoph Knieke
,
Björn Schindler
,
U. Goltz
,
A. Rausch
2012
Corpus ID: 14196264
Since the major revision 2 of the Unified Modeling Language (UML), activity diagrams have acquired many new features, e.g…
Expand
2012
2012
Verification of Session Initiation Protocol Using Petri Nets
B. Xie
2012
Corpus ID: 14392178
Petri net model of SIP was established. In this paper, we use Petri Nets (PNs) to model and analyze SIP, in terms of properties…
Expand
2007
2007
Translating Chi models to UPPAAL timed automata
E. Bortnik
,
J. M. Mortel-Fronczak
,
J. Rooda
2007
Corpus ID: 62765913
Due to increasing system complexity and growing competition and costs, powerful techniques are needed to design and analyze…
Expand
2007
2007
Performances des couches MAC dans les réseaux sans fil ad hoc : problèmes et solutions. (Performance of MAC layers in wireless ad hoc networks : problems and solutions)
Tahiry Razafindralambo
2007
Corpus ID: 11324233
Un reseau ad hoc est une collection de stations communicant au travers d'un lien sans fil sans l'aide d'aucune autre…
Expand
2002
2002
Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings
J. Esparza
,
C. Lakos
ICATPN
2002
Corpus ID: 60624798
Invited Papers.- Making Work Flow: On the Application of Petri Nets to Business Process Management.- Model Validation - A…
Expand
Review
2002
Review
2002
Tutorial Eight Logic Design of Asynchronous Circuits
J. Cortadella
,
A. Yakovlev
,
J. Garside
2002
Corpus ID: 61368784
This tutorial aims at motivating the audience to consider asynchronous circuits as a competitive alternative to solve some of the…
Expand
1999
1999
Application and Theory of Petri Nets 1999: 20th International Conference, ICATPN'99, Williamsburg, Virginia, USA, June 21-25, 1999 Proceedings
S. Donatelli
,
J. Kleijn
1999
Corpus ID: 60884013
Design, Simulation, and Implementation of Hybrid Systems.- Efficient Reachability Set Generation and Storage Using Decision…
Expand
1997
1997
Application and theory of Petri nets 1997 : 18th International Conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings
P. Azéma
,
G. Balbo
1997
Corpus ID: 56564727
Model checking LTL using constraint programming.- On the composition of timed systems.- Some issues about Petri net application…
Expand
1993
1993
Application and theory of Petri nets 1993 : 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993 : proceedings
M. Marsan
1993
Corpus ID: 61608249
Modeling and enactment of workflow systems.- Interleaving functional and performance structural analysis of net models.- FSPNs…
Expand
1992
1992
Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings
K. Jensen
1992
Corpus ID: 60634716
Performance issues in parallel programming.- Combining Petri Nets and other formal methods.- Place bisimulations in Petri nets…
Expand